Modal logic - PDFSEARCH.IO - Document Search Engine

Modal logic
Results: 1643

#	Item
311	Expressing Default Logic Variants in Default Logic Torsten Schaub∗ Institut f¨ur Informatik Universit¨at Potsdam D–14415 Potsdam Germany Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2005-04-08 13:10:58 Science Non-classical logic Model theory Knowledge representation Default logic Modal logic First-order logic Interpretation Autoepistemic logic Logic Mathematical logic Logic programming
312	Leibniz on substance in the Discourse on Metaphysics1 Gonzalo Rodriguez-Pereyra Oriel College, Oxford 1. In the Discourse on Metaphysics Leibniz put forward his famous complete-concept definition of substance. Sometimes Add to Reading List Source URL: www.philosophy.ox.ac.uk Language: English - Date: 2015-02-04 09:27:17 Ontology Philosophy of life Modal logic Aristotelianism Gottfried Leibniz Idealists Predicate Property Substance theory Philosophy Metaphysics Logic
313	Noname manuscript No. (will be inserted by the editor) Understanding SPKI/SDSI Using First-Order Logic ? Ninghui Li1?? John C. Mitchell2 1 Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2007-12-17 01:13:36 Simple public key infrastructure Mathematical logic Semantics Model theory First-order logic Modal logic Entailment Finitary relation Formal semantics Logic Philosophical logic Key management
314	Possible Worlds, Belief, and Modal Logic: a Tutorial Anthony H. Dekker∗ October 5, 2004 1 Add to Reading List Source URL: members.ozemail.com.au Language: English - Date: 2004-10-04 23:29:25 Modal logic Epistemic modal logic Doxastic logic Entailment Epistemology Possible world Truth Kripke semantics Mereology Logic Mathematical logic Philosophical logic
315	Complex Epistemic Modalities in the Situation Calculus Add to Reading List Source URL: people.eng.unimelb.edu.au Language: English - Date: 2009-01-04 08:03:51 Logic programming Artificial intelligence Situation calculus Epistemic modal logic Modal logic Function Common knowledge Symbol Frame problem Logic Mathematical logic Mathematics
316	Planning with Time Limits in BDI Agent Programming Languages Lavindra de Silva RMIT University, Melbourne, Australia Add to Reading List Source URL: crpit.com Language: English - Date: 2012-01-19 01:28:18 Logic JACK Intelligent Agents Reactive planning Modal logic 3APL Belief–desire–intention model Multi-agent systems Artificial intelligence Computing
317	/home/lwb/beta/doc/ref/ref_lwb2.dvi Add to Reading List Source URL: www.lwb.unibe.ch Language: English - Date: 2010-05-10 07:17:13 Boolean algebra Logical syntax Formal languages Well-formed formula Logical connective Propositional calculus FO Modal depth Propositional formula Logic Mathematical logic Modal logic
318	Automated Theorem Proving Scott Sanner, Guest Lecture Topics in Automated Reasoning Thursday, Jan. 19, 2006 Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2006-05-25 01:09:25 Model theory Propositional calculus Deduction Resolution First-order logic Interpretation Inference Deduction theorem Modal logic Logic Mathematical logic Automated theorem proving
319	ASYNCHRONOUS MULTI-AGENT REASONING IN THE SITUATION CALCULUS Ryan Francis Kelly Add to Reading List Source URL: people.eng.unimelb.edu.au Language: English - Date: 2009-03-12 20:13:19 Knowledge Multi-agent systems Artificial intelligence Reasoning Logic programming Situation calculus Common knowledge Intelligent agent Modal logic Science Logic Scientific modeling
320	OCCUPYING SPACE: THE BATTLE FOR POLITICS1 Helena Chávez Mac Gregor2 Instituto de Investigaciones Estéticas, Universidad Nacional Autónoma de México Helena Chavez Mac Gregor reads recent modes Add to Reading List Source URL: jwtc.org.za Language: English - Date: 2014-08-27 03:43:39 Science Academia Jacques Rancière Modal logic Michel Foucault Aesthetics Logic Protest Post-politics Philosophy Axiology Branches of philosophy

UPDATE